121. Trends in functional programming :
Author: Michał Pałka, Magnus Myreen (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)
Classification :
QA76
.
62
.
I58
2018
122. Trends in functional programming :
Author: David Van Horn, John Hughes (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.
Classification :
QA76
.
62
123. Trends in functional programming :
Author: edited by Meng Wang, Scott Owens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
62
124. Typed Lambda Calculi and Applications :
Author: edited by Marc Bezem, Jan Friso Groote.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.
125. Typed Lambda Calculi and Applications :
Author: edited by Masahito Hasegawa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing.,Computer science.,Logic design.
Classification :
QA9
.
5
E358
2013
126. Typed Lambda Calculi and Applications :
Author: edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Lambda calculus -- Congresses.,Logic design.
Classification :
QA9
.
5
E358
1995
127. VDM'91 Formal Software Development Methods :
Author: edited by S. Prehn, W.J. Toetenel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
128. VDM '90 VDM and Z -- Formal Methods in Software Development :
Author: edited by D. Bjørner, C.A.R. Hoare, H. Langmaack.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
129. Verification:
Author: edited by Nachum Dershowitz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
V47
E358
2004
130. Verification of Sequential and Concurrent Programs
Author: by Krzysztof R. Apt, Ernst-Rüdiger Olderog.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.
Classification :
QA76
.
76
.
V47
B957
1997
131. Verifying Concurrent Processes Using Temporal Logic
Author: by Brent T. Hailpern.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Logic design.
